Short interspersed repetitive elements, or SINEs, are tRNA-derived retroposons that are dispersed throughout eukaryotic genomes and can be present in well over 104 total copies. The enormous volume of SINE amplifications per organism makes them important evolutionary agents for shaping the diversity of genomes, and the irreversible, independent nature of their insertion allows them to be used for diagnosing common ancestry among host taxa with extreme confidence. As such, they represent a powerful new tool for systematic biology that can be (...) strategically integrated with other conventional phylogenetic characters, most notably morphology and DNA sequences. This review covers the basic aspects of SINE evolution that are especially relevant to their use as systematic characters and describes the practical methods of characterizing SINEs for cladogram construction. It also discusses the limits of their systematic utility, clarifies some recently published misunderstandings, and illustrates the effective application of SINEs for vertebrate phylogenetics with results from selected case studies. BioEssays 22:148–160, 2000. ©2000 John Wiley & Sons, Inc. (shrink)

In this paper, we show the equivalence between the provability of a proof system of basic hybrid logic and that of translated formulas of the classical predicate logic with equality and explicit substitution by a purely proof–theoretic method. Then we show the equivalence of two groups of proof systems of hybrid logic: the group of labelled deduction systems and the group of modal logic-based systems.

It is well known that the modal logic S5 can be embedded in the classical predicate logic by interpreting the modal operator in terms of a quantifier. Wajsberg [10] proved this fact in a syntactic way. Mints [7] extended this result to the quantified version of S5; using a purely proof-theoretic method he showed that the quantified S5 corresponds to the classical predicate logic with one-sorted variable. In this paper we extend Mints' result to the basic modal logic S4; we (...) investigate the correspondence between the quantified versions of S4 (with and without the Barcan formula) and the classical predicate logic (with one-sorted variable). We present a purely proof-theoretic proof-transformation method, reducing an LK-proof of an interpreted formula to a modal proof. (shrink)

It is well known that the modal logic S5 can be embedded in the classical predicate logic by interpreting the modal operator in terms of a quantifier. Wajsberg proved this fact in a syntactic way. Mints extended this result to the quantified version of S5; using a purely proof-theoretic method he showed that the quantified S5 corresponds to the classical predicate logic with one-sorted variable. In this paper we extend Mints’ result to the basic modal logic S4; we investigate the (...) correspondence between the quantified versions of S4 and the classical predicate logic. We present a purely proof-theoretic proof-transformation method, reducing an LK-proof of an interpreted formula to a modal proof. (shrink)

Alcohol use disorder is a burden to society creating social and health problems. Detection of AUD and its effects on the brain are difficult to assess. This problem is enhanced by the comorbid use of other substances such as nicotine that has been present in previous studies. Recent machine learning algorithms have raised the attention of researchers as a useful tool in studying and detecting AUD. This work uses AUD and controls samples free of any other substance use to assess (...) the performance of a set of commonly used machine learning classifiers detecting AUD from resting state functional network connectivity derived from independent component analysis. The cohort used included 51 alcohol dependent subjects and 51 control subjects. Despite alcohol, none of the 102 subjects reported use of nicotine, cannabis or any other dependence or habit formation substance. Classification features consisted of whole brain rsFNC estimates undergoing a feature selection process using a random forest approach. Features were then fed to 10 different machine learning classifiers to be evaluated based on their classification performance. A neural network classifier showed the highest performance with an area under the curve of 0.79. Other good performers with similar AUC scores were logistic regression, nearest neighbor, and support vector machine classifiers. The worst results were obtained with Gaussian process and quadratic discriminant analysis. The feature selection outcome pointed to functional connections between visual, sensorimotor, executive control, reward, and salience networks as the most relevant for classification. We conclude that AUD can be identified using machine learning classifiers in the absence of nicotine comorbidity. (shrink)

Psychopathy is a disorder characterized by severe and frequent moral violations in multiple domains of life. Numerous studies have shown psychopathy-related limbic brain abnormalities during moral processing; however, these studies only examined negatively valenced moral stimuli. Here, we aimed to replicate prior psychopathy research on negative moral judgments and to extend this work by examining psychopathy-related abnormalities in the processing of controversial moral stimuli and positive moral processing. Incarcerated adult males (N = 245) completed a functional magnetic resonance imaging protocol (...) on a mobile imaging system stationed at the prison. Psychopathy was assessed using the Hare Psychopathy Checklist–Revised (PCL-R). Participants were then shown words describing three types of moral stimuli: wrong (e.g., stealing), not wrong (e.g., charity), and controversial (e.g., euthanasia). Participants rated each stimulus as either wrong or not wrong. PCL-R total scores were correlated with not wrong behavioral responses to wrong moral stimuli, and were inversely related to hemodynamic activity in the anterior cingulate cortex in the contrast of wrong > not wrong. In the controversial > noncontroversial comparison, psychopathy was inversely associated with activity in the temporal parietal junction and dorsolateral prefrontal cortex. These results indicate that psychopathy-related abnormalities are observed during the processing of complex, negative, and positive moral stimuli. (shrink)

The huge amounts spent on store security and crime prevention worldwide, not only costs international businesses, but also amounts to a hidden tax on those law-binding consumers who bear higher prices. Most previous research has focused on shoplifting and ignored many other ways in which consumers cheat businesses. Using a hybrid of both qualitative research and survey approaches in four countries, an index of 37 activities was developed to examine consumers’ unethical activities across UK, US, France, and Austria. The findings (...) indicate that around three quarters of consumers in all four countries can be classified as heavy offenders for these minor cheats. The paper argues that government agencies, marketers, and retailers should adopt more pro-active preventative approaches, rather than reactive loss limitation measures to combat unethical behavior. (shrink)

In the final decades of the 20th century, issues such as identity, Otherness and the role of social and cultural boundaries have been prominent in social theory, sociology and cultural studies. In this context, an analysis of Bauman's work is important because it raises pertinent questions pertaining to the nature of social and cultural boundaries and the nature of boundary construction under modernity. The metaphors of inside and outside and the idea of the boundary are significant in Bauman's critique of (...) modernity's search for a meta-order and in his examination of strangerhood. The article illustrates how this ordering process manifests itself at the individual and societal levels of modernity. Bauman's contention is that modernity's search for a meta-order leads to the construction of boundaries and to exclusionary practices. It is the presence of the Third, for Bauman, which threatens the certainty of order. Different images of the stranger in Bauman's work are identified and the ways in which Bauman's conception of freedom and `community' is intrinsically linked to his work on the ambivalent stranger are demonstrated. (shrink)

Legal scholars attribute a great deal of importance to the linguistic dimension behind recodification. According to them, language contributes greatly to the improvement of both the accessibility and clarity of the law. Nevertheless, little research on the linguistic aspects of codification exists within both linguistics and legal theory. Consequently, it seems worthwhile to study this linguistic dimension more in depth. To this aim, the recent legislative proposals to recodify various economic, civil and criminal codes in Belgium serve as a useful (...) case study to improve our understanding of the linguistic challenges of recodification. In this article we will look at the linguistic comments made by the Belgian Council of State, a state organ which offers technical advice to the legislator, on the relevant proposals and consider the type of linguistic comments made, and, their implementation by the legislator. On the one hand, such an analysis allows us to single out the linguistic problems accompanying the Belgian recodification and, on the other, to elaborate on them with the help of the insights provided by legal theory. In doing so, we hope for our analysis to be a useful point of reference both for research on the Belgian recodification and other legal/linguistic approaches to recodification in general. (shrink)

We study the preservation of certain properties under products of classes of finite structures. In particular, we examine indivisibility, definable self-similarity, the amalgamation property, and the disjoint n-amalgamation property. We explore how each of these properties interacts with the lexicographic product, full product, and free superposition of classes of structures. Additionally, we consider the classes of theories which admit configurations indexed by these products. In particular, we show that, under mild assumptions, the products considered in this article do not yield (...) new classes of theories. (shrink)

Two experiments report on the construction of the Sense of Agency Rating Scale (SOARS), a new measure for quantifying alterations to agency. In Experiment 1, 370 participants completed a preliminary version of the scale following hypnosis. Factor analysis revealed two underlying factors: Involuntariness and Effortlessness. In Experiment 2, this two factor structure was confirmed in a sample of 113 low, medium and high hypnotisable participants. The two factors, Involuntariness and Effortlessness, correlated significantly with hypnotisability and pass rates for ideomotor, challenge (...) and cognitive items. Twelve week test-retest correlations showed that Involuntariness was highly stable, but Effortlessness only moderately stable. Analysis of the combined datasets from Experiments 1 and 2 showed both SOARS scores were significantly related to the derived factors of Woody, Barnier, and McConkey's (2005) 4-factor model of hypnotisability. This scale clarifies conceptual confusion around agentive action and provides empirical support for a multifactorial account of sense of agency. (shrink)

This study examines the relationship between the ethical behavior and customer orientation of insurance sales agents engaged in the selling of complex services, e.g. health, life, auto, and property insurance. The effect of ethical and customer-oriented behavior, measured by the SOCO scale (Saxe and Weitz, 1982), on the annual premiums generated by the agents is also investigated. Customeroriented sales agents are found to engage in less unethical behavior than their sales-oriented counterparts. Further, sales-oriented agents are found to perceive greater levels (...) of unethical behavior among their significant others. Alarmingly, higher levels of sales premiums are found among those agents who engage in unethical behavior. (shrink)

The Guarded Negation Fragment (GNFO) is a fragment of first-order logic that contains all positive existential formulas, can express the first-order translations of basic modal logic and of many description logics, along with many sentences that arise in databases. It has been shown that the syntax of GNFO is restrictive enough so that computational problems such as validity and satisfiability are still decidable. This suggests that, in spite of its expressive power, GNFO formulas are amenable to novel optimizations. In this (...) article we study the model theory of GNFO formulas. Our results include effective preservation theorems for GNFO, effective Craig Interpolation and Beth Definability results, and the ability to express the certain answers of queries with respect to a large class of GNFO sentences within very restricted logics. (shrink)

This book develops Non-Identity Theodicy as an original response to the problem of evil. It constructs an ethical framework for theodicy by sketching four cases of human action where horrendous evils are either caused, permitted, or risked, either for pure benefit or for harm avoidance.

Recently Lafont [6] showed the finite model property for the multiplicative additive fragment of linear logic (MALL) and for affine logic (LLW), i.e., linear logic with weakening. In this paper, we shall prove the finite model property for intuitionistic versions of those, i.e. intuitionistic MALL (which we call IMALL), and intuitionistic LLW (which we call ILLW). In addition, we shall show the finite model property for contractive linear logic (LLC), i.e., linear logic with contraction, and for its intuitionistic version (ILLC). (...) The finite model property for related substructural logics also follow by our method. In particular, we shall show that the property holds for all of FL and GL - -systems except FL c and GL - c of Ono [11], that will settle the open problems stated in Ono [12]. (shrink)

Respect for an individual’s autonomy determines that doctors should inform patients if their illness is terminal. This becomes complicated when the terminal diagnosis is recent and death is imminent. The authors examine the admission to paediatric intensive care of an adolescent with terminal respiratory failure. While fully ventilated, the patient was kept sedated and comfortable but when breathing spontaneously he was capable of non-verbal communication and understanding. Once resedated and reintubated, intense debate ensued over whether to wake the patient to (...) tell him he was going to die. The authors discuss the ethical arguments that surrounded their decision. (shrink)

In his lifetime, Ralph Waldo Emerson became the most widely known man of letters in America, establishing himself as a prolific poet, essayist, popular lecturer, and an advocate of social reforms who was nevertheless suspicious of reform and reformers. Emerson achieved some reputation with his verse, corresponded with many of the leading intellectual and artistic figures of his day, and during an off and on again career as a Unitarian minister, delivered and later published a number of controversial sermons. Emerson’s (...) enduring reputation, however, is as a philosopher, an aphoristic writer (like Friedrich Nietzsche) and a quintessentially American thinker whose championing of the American Transcendental movement and influence on Walt Whitman, Henry David Thoreau, William James, and others would alone secure him a prominent place in American cultural history. (shrink)

This paper takes as its starting point a decision to accept a particular commission for a piece of educational research which is subject to contractual restrictions. In the light of recent debate on the contentious politics and ethics of contractual research, it then addresses the problem of what might constitute an ethical defence, or critique, of such research and such contracts.

This paper takes as its starting point a decision to accept a particular commission for a piece of educational research which is subject to contractual restrictions. In the light of recent debate on the contentious politics and ethics of contractual research, it then addresses the problem of what might constitute an ethical defence, or critique, of such research and such contracts.

The idea of experience has been taken at face value in scholarly accounts of the migration experience, consequently very little attention has been given to how this idea has acquired its meaning and how it relates to the category of the ‘migration experience’. This article provides an analytical investigation into the nature of the phenomenon known as the ‘migrant experience’; firstly, by examining mediated and non-mediated conceptions of experience as well as an alternative account of experience associated with strangeness/disruption. Through (...) this conceptual lens, I then critically consider how the migration experience, as an analytical construct, has been constituted through a spatial–temporal framework, a critical migration perspective, and within the phenomenological and existential accounts. In conclusion, these approaches, as I will demonstrate, are not necessarily mutually exclusive, rather they complement and, at times, are in tension with each other. Such an examination will provide some conceptual clarity that is currently lacking in empirical work on an ‘experience’ categorized as migration. (shrink)

In an effort to ensure access to justice, Australian courts have fashioned a unique hybrid opt in-opt out process known as “closed classes.” The rationale that underlies closed classes is to prevent free-riding that may undercut the position of funders and class action law firms reliant upon entering into agreements with a critical mass of class members. However, multiple closed classes also pose problems for respondents seeking the comfort of finality. To secure settlement and thus ultimately benefit participating class members, (...) Australian courts have formulated a procedure whereby the closed class is opened and nonparticipating class members are invited to either register their claims or opt out so that thereafter those who do not register and those who opt out are effectively precluded by res judicata from making further related claims. We argue that Australian courts’ support of closed classes, while driven by pragmatism, has produced unintended consequences. Many relate to the ethical dilemmas faced by class action law firms and litigation funders seeking to advance the interests of participating class members over and above those of nonparticipating class members. The Full Federal Court has recently approved an alternative common fund approach. However, questions remain as to whether Australian courts are appropriately equipped to measure and compare the alternative transaction costs associated with the current and proposed approach, and whether they are appropriately equipped to determine the commercial rectitude and fairness of litigation funding agreements. (shrink)

Much attention has been paid recently to the role of anomalous experiences in the aetiology of certain types of psychopathology, e.g. in the formation of delusions. We examine, instead, the top-down influence of pre-existing beliefs and affective factors in shaping an individual’s characterisation of anomalous sensory experiences. Specifically we investigated the effects of paranormal beliefs and alexithymia in determining the intensity and quality of an altered state of consciousness . Fifty five participants took part in a sweat lodge ceremony, a (...) traditional shamanic ritual which was unfamiliar to them. Participants reported significant alterations in their state of consciousness, quantified using the ‘APZ’ questionnaire, a standardized measure of ASC experience. Participants endorsing paranormal beliefs compatible with shamanic mythology, and those showing difficulty identifying feelings scored higher on positive dimensions of ASC experience. Our findings demonstrate that variation in an individual’s characterisation of anomalous experiences is nuanced by pre-existing beliefs and affective factors. (shrink)

Recently Lafont [6] showed the finite model property for the multiplicative additive fragment of linear logic and for affine logic, i.e., linear logic with weakening. In this paper, we shall prove the finite model property for intuitionistic versions of those, i.e. intuitionistic MALL, and intuitionistic LLW. In addition, we shall show the finite model property for contractive linear logic, i.e., linear logic with contraction, and for its intuitionistic version. The finite model property for related substructural logics also follow by our (...) method. In particular, we shall show that the property holds for all of FL and GL$^-$-systems except FL$_c$ and GL$^-_c$ of Ono [11], that will settle the open problems stated in Ono [12]. (shrink)

We investigate the extension of monadic second-order logic of order with cardinality quantifiers "there exists uncountably many sets such that... " and "there exists continuum many sets such that... ". We prove that over the class of countable linear orders the two quantifiers are equivalent and can be effectively and uniformly eliminated. Weaker or partial elimination results are obtained for certain wider classes of chains. In particular, we show that over the class of ordinals the uncountability quantifier can be effectively (...) and uniformly eliminated. Our argument makes use of Shelah's composition method and Ramsey-like theorem for dense linear orders. (shrink)

The paper traces the development and the role of syntactic reduction in Edmund Husserl’s early writings on mathematics and logic, especially on arithmetic. The notion has its origin in Hermann Hankel’s principle of permanence that Husserl set out to clarify. In Husserl’s early texts the emphasis of the reductions was meant to guarantee the consistency of the extended algorithm. Around the turn of the century Husserl uses the same idea in his conception of definiteness of what he calls “mathematical manifolds.” (...) The paper argues that the notion anticipates the notion of reduction in term rewrite theory in computer science. The role of the reduction for Husserl is, however, primarily epistemological: its purpose is to impart clarity to formal mathematics. (shrink)

Previous studies have found Forsyth’s Ethical Position Questionnaire (EPQ) to vary between countries, but none has made a systematic evaluation of its psychometric properties across consumers from many countries. Using confirmatory factor analysis and multi-group LISREL analysis, this paper explores the factor structure of the EPQ and the measurement equivalence in five societies: Austria, Britain, Brunei, Hong Kong and USA. The results suggest that the modified scale, measuring idealism and relativism, was applicable in all five societies. Equivalence was found across (...) Britain, Brunei and USA, but the original scale cannot be used validly. (shrink)